Logical reasoning - PDFSEARCH.IO - Document Search Engine

Logical reasoning
Results: 409

#	Item
221	Philosophy 110 Introduction to Logic 03 MW: 08:30 – 09:[removed]INSTRUCTOR: OFFICE: OFFICE HOURS: Add to Reading List Source URL: windward.hawaii.edu Language: English - Date: 2014-01-17 22:12:52 Knowledge Reasoning Arguments Deduction Logical truth Fallacy Validity Informal fallacy Formal proof Logic Science Critical thinking
222	Logical Agents that Plan, Execute, and Monitor Communication∗ Martin Magnusson and David Land´en and Patrick Doherty Department of Computer and Information Science, Link¨oping University, Sweden {marma,davla,patdo}@i Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:34:41 Epistemology Reasoning Knowledge representation Logic programming Frame problem Reasoning system Automated planning and scheduling Fluent Unmanned aerial vehicle Artificial intelligence Science Knowledge
223	Robotics, Temporal Logic and Stream Reasoning Patrick Doherty1∗, Fredrik Heintz1 and Jonas Kvarnström1 Linköping University, Department of Computer and Information Sciences, S[removed]Linköping, Sweden patrick.dohert Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2015-01-26 06:34:59 Model theory Metalogic Philosophical logic Linear temporal logic First-order logic Temporal logic Interpretation Well-formed formula Modal logic Logic Formal languages Logical syntax
224	LIBERAL EDUCATION PROGRAM COURSE SUBMISSION FORM GOAL AREA 4: MATHEMATICS/LOGICAL REASONING* This form should be completed for the following circumstances: For a new course proposed for the Liberal Education Program For Add to Reading List Source URL: www.bemidjistate.edu Language: English - Date: 2013-06-06 16:18:06 Educational psychology Critical thinking Epistemology Learning Thought Curriculum Logic Liberal education Mathematics Education Knowledge Philosophy of education
225	Bounded-Resource Reasoning as (Strong or Classical) Planning A. Albore1 , N. Alechina2 , P. Bertoli3 , C. Ghidini3 , and B. Logan2 Universitat Pompeu Fabra, pg.Circumval·laci´o[removed], Barcelona, Spain School of Compu Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-21 08:27:09 Formal languages Propositional calculus Logical syntax Logic in computer science Well-formed formula Natural deduction Method of analytic tableaux Function Formula Logic Mathematics Mathematical logic
226	Verifying space and time requirements for resource-bounded agents Natasha Alechina Piergiorgio Bertoli Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Model theory Reasoning Logical truth Epistemic modal logic Substitution Inference Well-formed formula Interpretation Constructible universe Logic Formal languages Modal logic
227	Modelling Communicating Agents in Timed Reasoning Logics Natasha Alechina, Brian Logan, and Mark Whitsey School of Computer Science and IT, University of Nottingham, UK. (nza,mtw,bsl)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Formal languages Model theory Deduction Well-formed formula Entailment Function Epistemic modal logic Linear temporal logic Natural deduction Logic Metalogic Logical syntax
228	Verifying space and time requirements for resource-bounded agents Natasha Alechina a Mark Jago a Piergiorgio Bertoli b Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Logical truth Reasoning Automated theorem proving Logic programming Substitution Inference Logic Mathematical logic Propositional calculus
229	A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines Alberto Momigliano Laboratory for the Foundations of Computer Science University of Edinburgh Joint work with Jeff Pola Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-08 05:08:56 Type theory Logic in computer science Reasoning Mathematical logic Epistemology Logic programming Prolog Logical framework Twelf Logic Mathematics Programming language theory
230	J Log Lang Inf[removed]:105–106 DOI[removed]s10849[removed]Formal Models of Awareness Thomas Ågotnes · Natasha Alechina Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:31:06 Metalogic Artificial intelligence Logical syntax Logical consequence Epistemic modal logic Entailment Logic programming Abductive reasoning Agent-based model Logic Science Reasoning

UPDATE